Basic Problems of Mereotopology

نویسنده

  • Achille C. Varzi
چکیده

Mereotopology is today regarded as a major tool for ontological analysis, and for many good reasons. There are, however, a number of open questions that call for an answer. Some of them are philosophical, others have direct import for applications, but all are crucial for a proper assessment of the strengths and limits of mereotopology. This paper is an attempt to put some order into this still untamed area of research. I will not attempt any answers. But I shall try to give an idea of the problems, and of their relevance for the systematic development of formal ontological theories.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Necessary Relation Algebra for Mereotopology

We show that the basic operations of the relational calculus on a “contact relation” generate at least 25 relations in any model of the Region Connection Calculus [33], and we show how to interpret these relations in the collection of regular open sets in the two-dimensional Euclidean plane.

متن کامل

Inconsistent boundaries

Mereotopology is a theory of connected parts. The existence of boundaries, as parts of everyday objects, is basic to any such theory; but in classicalmereotopology, there is a problem: if boundaries exist, then either distinct entities cannot be in contact, or else space is not topologically connected (Varzi in Noûs 31:26–58, 1997). In this paper we urge that this problem can be met with a para...

متن کامل

Multidimensional Mereotopology with Betweenness

Qualitative reasoning about commonsense space often involves entities of different dimensions. We present a weak axiomatization of multidimensional qualitative space based on ‘relative dimension’ and dimension-independent ‘containment’ which suffice to define basic dimension-dependent mereotopological relations. We show the relationships to other meoreotopologies and to incidence geometry. The ...

متن کامل

Encoding Relative Orientation and Mereotopology Relations with Geometric Constraints in CLP(QS)

One approach for encoding the semantics of spatial relations within a declarative programming framework is by systems of polynomial constraints. However, solving such constraints is computationally intractable in general (i.e. the theory of realclosed fields), and thus far the proposed symbolic algebraic methods do not scale to real world problems. In this paper we address this intractability b...

متن کامل

Model-Theoretic Analysis of Asher And Vieu's Mereotopology

Model-Theoretic Analysis of Asher And Vieu's Mereotopology

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1998